51![Formal Verification of Hybrid Systems Rajeev Alur University of Pennsylvania Formal Verification of Hybrid Systems Rajeev Alur University of Pennsylvania](https://www.pdfsearch.io/img/7652ef6c31d8bb84f6ad40c6747ff0f1.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2011-07-29 13:52:05
|
---|
52![Synthesis of Interface Specifications for Java Classes Rajeev Alur ˇ Pavol Cern´ y Synthesis of Interface Specifications for Java Classes Rajeev Alur ˇ Pavol Cern´ y](https://www.pdfsearch.io/img/80f4f00e8bf21f951bff13e74f019c0c.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2009-10-01 17:14:07
|
---|
53![Regular Combinators for String Transformations ∗ Rajeev Alur Adam Freilich Mukund Raghothaman Regular Combinators for String Transformations ∗ Rajeev Alur Adam Freilich Mukund Raghothaman](https://www.pdfsearch.io/img/7e6aa20622cd03aeff149cbf2e05b603.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-05-16 11:43:40
|
---|
54![Automata Based Interfaces for Control and Scheduling Gera Weiss and Rajeev Alur University of Pennsylvania {gera,alur}@seas.upenn.edu Automata Based Interfaces for Control and Scheduling Gera Weiss and Rajeev Alur University of Pennsylvania {gera,alur}@seas.upenn.edu](https://www.pdfsearch.io/img/c37ddbf96fcf5849819943a031d20191.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2006-12-21 08:52:36
|
---|
55![FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania](https://www.pdfsearch.io/img/2687333db39dc893df247675e752f406.jpg) | Add to Reading ListSource URL: web.ing.puc.clLanguage: English - Date: 2013-04-26 05:57:03
|
---|
56![Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications Rajeev Alur, Salar Moarref, and Ufuk Topcu Presented by Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications Rajeev Alur, Salar Moarref, and Ufuk Topcu Presented by](https://www.pdfsearch.io/img/9021e987514ff2ff4b4940ec4399eaeb.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2014-02-23 15:02:20
|
---|
57![Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications Rajeev Alur, Salar Moarref, and Ufuk Topcu University of Pennsylvania, Philadelphia, USA. {alur,moarref,utopcu}@seas.upenn.edu Abstract—The reac Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications Rajeev Alur, Salar Moarref, and Ufuk Topcu University of Pennsylvania, Philadelphia, USA. {alur,moarref,utopcu}@seas.upenn.edu Abstract—The reac](https://www.pdfsearch.io/img/83513bf9e4493c0ea52cceac9b02e569.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2013-08-21 15:47:42
|
---|
58![RTComposer: A Framework for Real-Time Components with Scheduling Interfaces Rajeev Alur and Gera Weiss University of Pennsylvania , RTComposer: A Framework for Real-Time Components with Scheduling Interfaces Rajeev Alur and Gera Weiss University of Pennsylvania ,](https://www.pdfsearch.io/img/004c8677440ef79c2f7afbd493bccc97.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2008-08-05 13:48:00
|
---|
59![Syntax-Guided Synthesis Rajeev Alur Marktoberdorf Summer School Syntax-Guided Synthesis Rajeev Alur Marktoberdorf Summer School](https://www.pdfsearch.io/img/44d06096ead7af00d42110974da2cf36.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-08-11 09:18:05
|
---|
60![Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech Safe Schedulability of Bounded-Rate Multi-Mode Systems Rajeev Alur ˇ Forejt Vojtech](https://www.pdfsearch.io/img/c7a2bacfcdf14702761dd35202617b28.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2013-02-12 16:33:01
|
---|